Calculating upward and downward simulations of state-based specifications
نویسندگان
چکیده
منابع مشابه
Upward Morley's theorem downward
By a celebrated theorem of Morley, a theory T is א1-categorical if and only if it is κ-categorical for all uncountable κ. In this paper we are taking the first steps towards extending Morley’s categoricity theorem “to the finite”. In more detail, we are presenting conditions, implying that certain finite subsets of certain א1-categorical T have at most one n-element model for each natural numbe...
متن کاملUpward and downward unsteady-state directional solidification of a hypoeutectic Al-3wt.%Mg alloy
Solidification thermal parameters, such as growth rate, cooling rate and dendrite arm spacing ( ), have been measured in a hypoeutectic Al-Mg alloy directionally solidified under upward and downward transient heat flow conditions. The experimental setup used in this work consists of a water-cooled mould with heat being extracted from the bottom or the top, promoting upward and downward directio...
متن کاملComparison of Upward and Downward Generalizations in CF-Induction
CF-induction is a sound and complete procedure for finding hypotheses in full clausal theories. It is based on the principle of Inverse Entailment (IE), and consists of two procedures: construction of a bridge theory and generalization of it. There are two possible ways to realize the generalization task in CF-induction. The one uses a single deductive operator, called γ-operator, and the other...
متن کاملDepressive states amplify both upward and downward counterfactual thinking.
Depression has been linked to counterfactual thinking in many behavioral studies, but the direction of this effect remains disputed. In the current study, the relationship between depression and counterfactual thinking was examined using the event-related potential (ERP) technique. In a binary choice gambling task, outcome feedback of the chosen option and that of the alternative option were bo...
متن کاملUpward and Downward Runs on Partially Ordered Sets
We consider Markov chains on partially ordered sets that generalize the success-runs and remaining life chains in reliability theory. We find conditions for recurrence and transience and give simple expressions for the invariant distributions. We study a number of special cases, including rooted trees, uniform posets, and posets associated with positive semigroups. 1 Partially Ordered Sets 1.1 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Software Technology
سال: 1999
ISSN: 0950-5849
DOI: 10.1016/s0950-5849(99)00044-0